Formal Theories of Time and Temporal Incidence
نویسنده
چکیده
منابع مشابه
An Improvement in Temporal Resolution of Seismic Data Using Logarithmic Time-frequency Transform Method
The improvement in the temporal resolution of seismic data is a critical issue in hydrocarbon exploration. It is important for obtaining more detailed structural and stratigraphic information. Many methods have been introduced to improve the vertical resolution of reflection seismic data. Each method has advantages and disadvantages which are due to the assumptions and theories governing their ...
متن کاملAssessment of Neonate's Congenital Hypothyroidism Pattern Using Poisson Spatio-temporal Model in Disease Mapping under the Bayesian Paradigm during 2011-18 in Guilan, Iran
Background: Congenital Hypothyroidism (CH) is one of the reasons for mental retardation and defective growth in neonates. It can be treated if it is diagnosed early. The congenital hypothyroidism can be diagnosed using newborn screening in the first days after birth. Disease mapping helps to identify high-risk areas of the disease. This study aimed to evaluate the pattern of CH using the Poisso...
متن کاملThe Formal Ontology of Spatio-Temporal Reality and its Formalization
A framework for spatio-temporal reasoning has to account for the variety of modes of existence and persistence in time. It should thus be based on a formal ontology of spatiotemporal reality. For pragmatic reasons, however, it is even better if while being based on a realist foundation, the framework has the potential of being extended and amended contextually. I propose a rich modular framewor...
متن کاملSpatio-temporal and Ecological Analysis of Brucellosis in North of Iran
Epidemic diseases are a public health concern that has many economic costs and health problems. The geographical distribution of these diseases is a spatial and temporal process. By understanding the process and identifying the factors that affect it, we can take an effective step in preventing and treating these diseases. Brucellosis is one of the most important zoonotic diseases in Iran. To b...
متن کاملChronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories
Concerned with the problem of reasoning efficiently about change within a formal system, we identify the initiution problem. The solution to it which we offer, called the logic of chronological ignorance, combines temporal logic, nor-monotonic logic, and the modal logic of necessity. We identify a class of theories, called causal theories, which have elegant model-theoretic and complexity prope...
متن کامل